Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
401	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:31 Mathematics Theory of computation Turing machine Models of computation Structure and Interpretation of Computer Programs Scheme Busy beaver Computability Alan Turing Computability theory Theoretical computer science Computer science
402	ICS 162 – Fall 2003 – Midterm Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-11-10 23:13:26 Models of computation Computer science Software engineering Regular language Deterministic finite automaton Context-free grammar Nondeterministic finite automaton Regular expression Book:Theory Of Computation Automata theory Formal languages Theoretical computer science
403	The Effectiveness of Flow Analysis for Inlining∗ J. Michael Ashley University of Kansas Snow Hall 415 Lawrence, Kansas 66045 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Subroutines Theoretical computer science Inline expansion Computability theory Models of computation Compiler optimization Lambda calculus Data-flow analysis Function Software engineering Computer programming Computing
404	Asia Pacific Mathematics Newsletter 1 OnDemons Demons and On Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:56 Applied mathematics Computability theory Models of computation Turing machine Alan Turing Hypercomputation Super-recursive algorithm Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
405	Quantum Computation‘ N O R M A N MARGOLUS Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, Massachusetts 02139 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-08-06 23:40:53 Cellular automata Physics Quantum mechanics Computability theory Quantum computer Cellular automaton Asynchronous cellular automaton Reversible cellular automaton Computation Theoretical computer science Applied mathematics Models of computation
406	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
407	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Exact and approximate Geometric Pattern Matching for point sets in the plane under similarity transformations ∗ Dror Aiger† Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:28:44 Computer vision Shape context Ε-net Automata theory Models of computation Fractals
408	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
409	Aoste ost EPI presentation Sophia-Antipolis & Rocquencourt common with UNS/CNRS UMR I3S Robert de Simone Add to Reading List Source URL: leat.unice.fr Language: English - Date: 2015-03-04 10:18:19 Synchronous programming languages Electronic engineering Models of computation Electronics Formal methods Dataflow Synchronous Data Flow SIGNAL Kahn process networks Computing Computer architecture Hardware description languages
410	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:05 Models of computation Nondeterministic finite automaton Vector space Muller automaton Ω-automaton Algebra Automata theory Mathematics

UPDATE